Applying ELAN Strategies in Simulating Processors over Simple Architectures

Applying ELAN Strategies in Simulating Processors over Simple Architectures

The simulation of processors over simple architectures is important for enabling test and veri cation prior to the expensive implementation involved in the development of new hardware technologies. Arvind's group has illustrated how to describe processors by term rewriting systems and has introduced a technique for proving the correctness of speci cations for elaborated processors with respect ...

Objects, rules and strategies in ELAN

Simulating Synchronous Processors

In this paper we show how a distributed system with synchronous processors and asynchronous message delays can be simulated by a system with both asvn chronous processors arid asynchronous rnessa.e delays in the presence of vañous types of processor faults. Consequently, the result of Fischer, Lynch and Paterson (1985), that no consensus protocol for asynchronous processors and communication ca...

Probabilistic Rewrite Strategies. Applications to ELAN

Recently rule based languages focussed on the use of rewriting as a modeling tool which results in making specifications executable. To extend the modeling capabilities of rule based languages, we explore the possibility of making the rule applications subject to probabilistic choices. We propose an extension of the ELAN strategy language to deal with randomized systems. We argue through severa...

Simulating Future Chip Multi Processors

With the ever growing advancements in chip technology, chip designers and computer architects are now faced with a new range of challenges. Current generation processors can deliver high performance, unlike the processors of the past decade. The problems that were tackled by researchers in silicon industry five or ten years ago have undergone a paradigm shift. Performance was the focus of the p...